FADA: Formalisms and Algorithms for Resilient Services Design in Ambient Systems∗
نویسندگان
چکیده
Matthieu Roy LAAS-CNRS Université de Toulouse Toulouse, France [email protected] Marc-Olivier Killijian LAAS-CNRS Université de Toulouse Toulouse, France [email protected] Leonardo Querzoni University of Roma La Sapienza Roma, Italy [email protected] François Bonnet IRISA Campus de Beaulieu Rennes, France [email protected] Sara Tucci Piergiovanni University of Roma La Sapienza Roma, Italy [email protected] Silvia Bonomi University of Roma La Sapienza Roma, Italy [email protected]
منابع مشابه
Improving the Resilience of Military Hospitals Through Self-Adaptation of Hospital Systems Using Organic Computing
Background and Aim: Among the failures of a disaster, the disruption of the critical infrastructure of the community causes the most damage to society. Therefore, the ability of critical infrastructure such as hospitals to anticipate, absorb, adapt or rapidly recover from a devastating event is essential. The purpose of this study is to design a self-adaptive model for resilient hospital system...
متن کاملA joint pricing-network design model for a resilient closed-loop supply chain under quantity discount
In this paper, a novel resilient multi-echelon closed-loop location-allocation-inventory problem (RMCLIP) is addressed that optimizes strategic and tactical decisions simultaneously. In order to represent the purchasing cost of raw material from the supplier, a pricing model under quantity discounts is employed in the closed-loop supply chain (CLSC). Considering the capability of returning the ...
متن کاملResilient operation scheduling of microgrid using stochastic programming considering demand response and electrical vehicles
Resilient operation of microgrid is an important concept in modern power system. Its goal is to anticipate and limit the risks, and provide appropriate and continuous services under changing conditions. There are many factors that cause the operation mode of micogrid changes between island and grid-connected modes. On the other hand, nowadays, electric vehicles (EVs) are desirable energy storag...
متن کاملOPTIMUM DESIGN OF GRILLAGE SYSTEMS USING CBO AND ECBO ALGORITHMS
Grillages are widely used in various structures. In this research, the Colliding Bodies Optimization (CBO) and Enhanced Colliding Bodies Optimization (ECBO) algorithms are used to obtain the optimum design of irregular grillage systems. The purpose of this research is to minimize the weight of the structure while satisfying the design constraints. The design variables are considered to be the c...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008